differentiability piecewise functions